Integer programming

Results: 382



#Item
301Combinatorial optimization / Numerical analysis / Linear programming / Cutting-plane method / Branch and bound / COIN-OR / Logarithm / Relaxation / Branch and cut / Mathematical optimization / Operations research / Mathematics

B ONMIN and B ONMIN H COIN-OR B ONMIN (Basic Open-source Nonlinear Mixed Integer programming) is an open-source solver for mixed-integer nonlinear programming (MINLPs). The code has been developed as part of a collaborat

Add to Reading List

Source URL: www.gams.com

Language: English - Date: 2014-09-02 04:00:18
302Nonlinear programming / Mathematics / Applied mathematics / Theoretical computer science / Operations research / Convex optimization / Linear programming

Mixed-Integer Nonlinear Programming Models for Optimal Design of Multi-product Batch Plant Fengqi You* and Ignacio E. Grossmann**, Department of Chemical Engineering, Carnegie Mellon University, Pittsburgh, PA 15213 *e-m

Add to Reading List

Source URL: www.minlp.org

Language: English - Date: 2009-08-18 23:00:05
303Computer programming / Primitive types / Type theory / Program analysis / Type system / Pointer / C / Integer / Comparison of programming languages / Data types / Computing / Software engineering

BCF2 Quick Reference In BCF2, a typed value consists of a typing byte and the actual value with type mandated by the typing byte. In the typing byte, the lowest four bits give the atomic type. If the number represented

Add to Reading List

Source URL: www.1000genomes.org

Language: English - Date: 2012-07-05 12:17:07
304Programming language theory / Type theory / Program analysis / Type system / Pointer / C / Data types / Computing / Software engineering

BCF2 Quick Reference (r198) In BCF2, each key in the FILTER, INFO and FORMAT fields is required to be defined in the VCF header. For each record, a key is stored as an integer which is the index of its first appearance

Add to Reading List

Source URL: samtools.github.io

Language: English - Date: 2014-09-12 06:54:45
305C programming language / C++ / Procedural programming languages / Data types / C / Cross-platform software / Sizeof / Stack / Pointer / Software engineering / Computer programming / Computing

Improving Integer Security for Systems with K INT∗ Xi Wang Haogang Chen Zhihao Jia† Nickolai Zeldovich M. Frans Kaashoek MIT CSAIL † Tsinghua IIIS off_t j, pg_start = /* from user space */; size_t i, page_count = .

Add to Reading List

Source URL: pdos.csail.mit.edu

Language: English - Date: 2014-09-23 03:33:32
306Computer arithmetic / Integer / C programming language / Union / Computer programming / Data types / Computing / Software engineering

Microsoft Word - Backup of bam data elements.wbk

Add to Reading List

Source URL: www.tc.state.mn.us

Language: English - Date: 2007-09-14 14:47:36
307Computer programming / Software bugs / Primitive types / Pointer / Buffer overflow / Stack / Circular buffer / C / Integer overflow / Computing / Software engineering / Data types

Buffer Overflow Semantic template CWE 2.0 SOFTWARE-FAULT INCORRECT SIGN CONVERSION AND TRUNCATION #194 #195 #196

Add to Reading List

Source URL: faculty.ist.unomaha.edu

Language: English - Date: 2011-07-14 11:02:41
308Computer programming / Pointer / Buffer overflow / Circular buffer / C / Stack / Integer overflow / Computing / Software bugs / Software engineering

Buffer  Overflow   SOFTWARE-FAULT SIGN ERRORS #194 #195 #196

Add to Reading List

Source URL: faculty.ist.unomaha.edu

Language: English - Date: 2012-04-18 10:37:37
309Computer programming / Buffer overflow / Pointer / Circular buffer / C dynamic memory allocation / C / Integer overflow / Stack buffer overflow / Computing / Software bugs / Software engineering

SOFTWARE-FAULT SIGN ERRORS #194 #195 #196

Add to Reading List

Source URL: faculty.ist.unomaha.edu

Language: English - Date: 2014-01-06 11:41:07
310C programming language / C++ / Procedural programming languages / Data types / C / Cross-platform software / Sizeof / Stack / Pointer / Software engineering / Computer programming / Computing

Improving Integer Security for Systems with K INT∗ Xi Wang Haogang Chen Zhihao Jia† Nickolai Zeldovich M. Frans Kaashoek MIT CSAIL † Tsinghua IIIS off_t j, pg_start = /* from user space */; size_t i, page_count = .

Add to Reading List

Source URL: people.csail.mit.edu

Language: English
UPDATE